大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Proceedings, Real-Time Systems Symposium, December 6-8, 1983, Marriott Crystal Gateway Hotel, Arlington, Virginia

0
索取号:TP31-53/E9015/1983
作者:Real-Time Systems Symposium (1983 : Arlington、 Va.)、IEEE Computer Society.、
出版社:Silver Spring, MD : IEEE Computer Society Press, 1984,c1983.

Proceedings

0
索取号:TP31-53/E9015/1981
作者:Real-Time Systems Symposium (1981 : Miami Beach、 Fla.)、IEEE Computer Society. TC Data Acquisition and Control.、IEEE Computer Society. TC Distributed Computing.、
出版社:N.Y. [S.l.] : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society ; Piscataway, NJ : Order from IEEE Service Center, 1981.

Proceedings

0
索取号:TP302-53/E902/3
作者:Symposium on Reliability in Distributed Software and Database Systems (3rd : 1983 : Clearwater Beach、 Fla.)、IEEE Computer Society.、Association for Computing Machinery.、University of South Florida.、
出版社:N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.

FTCS : 13th annual international symposium, fault-tolerant computing : digest of papers : June 28-30, 1983, Palazzo Ex-Stelline, Milano, Italy

0
索取号:TP3-53/E908/13
作者:International Symposium on Fault-Tolerant Computing (13th : 1983 : Milan、 Italy)、IEEE Computer Society. Fault-Tolerant Technical Committee.、
出版社:Silver Spring, MD : IEEE Computer Society Press, c1983.

Biologic effects of light 1998 : proceedings of a symposium, Basel, Switzerland, November 1-3, 1998

0
索取号:Q63-532/E992
作者:
出版社:Boston : Kluwer Academic, c1999.

Induction, recursion, and programming

0
索取号:TP31/E90161
作者:Wand、 Mitchell.、
出版社:New York : North Holland, 1980.

Software engineering : proceedings

0
索取号:TP31/E8035
作者:Computer and Information Sciences Symposium、 3d、 Miami Beach、 Fla.、 1969.、Tou、 Julius T.、 1926- ed.、
出版社:New York, Academic Press, 1970.

Multicriteria decision making : advances in MCDM models, algorithms, theory, and applications

0
索取号:O22/E991
作者:
出版社:Boston : Kluwer Academic, c1999.

Schaum's outline of theory and problems of computers and programming

0
索取号:TP31/E9037
作者:Scheid、 Francis J.、
出版社:New York : McGraw-Hill, 1982.

Topological fixed point theory of multivalued mappings

0
索取号:O189/E992
作者:ǴОrniewicz、 Lech.、
出版社:Dordrecht ; Boston : Kluwer Academic Publishers, c1999.

Spectral theory and geometry : ICMS Instructional Conference, Edinburgh 1998

0
索取号:O177.7/E20011
作者:ICMS Instructional Conference (1998 : Edinburgh、 Scotland)、Safarov、 Yu、Davies、 E. B. (Edward Brian)、 1944-、London Mathematical Society、International Centre for Mathematical Sciences、
出版社:Cambridge : Cambridge University Press, 1999

Control theory for partial differential equations : continuous and approximation theories

0
索取号:O175.2/E20011
作者:Lasiecka、 I. (Irena)、 1948-、Triggiani、 R. (Roberto)、 1942-、
出版社:Cambridge, U.K. ; New York : Cambridge University Press, 2000-

Program flow analysis : theory and applications

0
索取号:TP31/E90164
作者:
出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1981.

Structured programming, theory and practice

0
索取号:TP31/E8066
作者:Linger、 Richard C.、 1941-、Mills、 Harlan D.、 1919- joint author.、Witt、 Bernard I.、 1929- joint author.、
出版社:Reading, Mass. : Addison-Wesley, 1979.

Graph theory and its applications

0
索取号:O157.5/E996
作者:Gross、 Jonathan L.、Yellen、 Jay.、
出版社:Boca Raton, Fla. : CRC Press, c1999.

Schaum's Outline of theory and problems of programming with BASIC, including microcomputer BASIC

0
索取号:TP31/E8010.2
作者:Gottfried、 Byron S.、 1934-、
出版社:New York : McGraw-Hill, 1982.
最近添加的分类